The ground axiom
نویسنده
چکیده
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of zfc has a class forcing extension which satisfies it. The Ground Axiom is independent of many well-known set-theoretic assertions including the Generalized Continuum Hypothesis, the assertion v=hod that every set is ordinal definable, and the existence of measurable and supercompact cardinals. The related Bedrock Axiom, asserting that the universe is a set forcing extension of a model satisfying the Ground Axiom, is also first-order expressible, and its negation is consistent.
منابع مشابه
On characterizations of the fully rational fuzzy choice functions
In the present paper, we introduce the fuzzy Nehring axiom, fuzzy Sen axiom and weaker form of the weak fuzzycongruence axiom. We establish interrelations between these axioms and their relation with fuzzy Chernoff axiom. Weexpress full rationality of a fuzzy choice function using these axioms along with the fuzzy Chernoff axiom.
متن کاملTHE URYSOHN AXIOM AND THE COMPLETELY HAUSDORFF AXIOM IN L-TOPOLOGICAL SPACES
In this paper, the Urysohn and completely Hausdorff axioms in general topology are generalized to L-topological spaces so as to be compatible with pointwise metrics. Some properties and characterizations are also derived
متن کاملCost Efficiency Evaluation via Data Envelopment Analysis Approach for Undesirable Outputs based on the Weak Disposability Axiom (Case Study: 56 Electricity Producing Thermal Power Plants in Iran)
Cost efficiency evaluation is a very important and applicable issue in Data Envelopment Analysis (DEA). In this paper, the classical cost efficiency model in which all the input prices are known and fixed for each decision making unit is developed via undesirable outputs with the weak disposability axiom. The proposed model is a nonlinear model under the variable returns to scale condition,...
متن کاملGross efficiency and cycling economy are higher in the field as compared with on an Axiom stationary ergometer.
This study was designed to examine the biomechanical and physiological responses between cycling on the Axiom stationary ergometer (Axiom, Elite, Fontaniva, Italy) vs. field conditions for both uphill and level ground cycling. Nine cyclists performed cycling bouts in the laboratory on an Axiom stationary ergometer and on their personal road bikes in actual road cycling conditions in the field w...
متن کاملThe Urysohn, completely Hausdorff and completely regular axioms in $L$-fuzzy topological spaces
In this paper, the Urysohn, completely Hausdorff and completely regular axioms in $L$-topological spaces are generalized to $L$-fuzzy topological spaces. Each $L$-fuzzy topological space can be regarded to be Urysohn, completely Hausdorff and completely regular tosome degree. Some properties of them are investigated. The relations among them and $T_2$ in $L$-fuzzy topological spaces are discussed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 72 شماره
صفحات -
تاریخ انتشار 2007